461. Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
Author: Tobias Nipkow )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
1379
462. Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Author: Aart Middeldorp )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
2051
463. Rewriting techniques and applications: 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
267
.
I565
2001
464. Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
Author: Robert Nieuwenhuis )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
2706
465. Seminumerical algorithms /
Author: Donald E. Knuth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer programming.,Computers.
466. Stable mutations for evolutionary algorithms /
Author: Andrzej Obuchowicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary programming (Computer science),Genetic algorithms.,Artificial Intelligence.,Computational Intelligence.,Evolutionary programming (Computer science),Genetic algorithms.
Classification :
QA76
.
618
.
O28
2019
467. Symposium on semantics of algorithmic languages
Author: / edited by E. Engeler
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses
Classification :
QA
76
.
7
.
S9
1971
468. Synchronization algorithms and concurrent programming
Author: Taubenfeld, Gadi
Library: (Semnan)
Subject: ، Algorithms,، Computer system programming language
Classification :
QA
76
.
9
.
T3S9
469. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
Author: Frank Pfenning )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
4098
470. Term rewriting and applications: 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
267
.
I555
2006
471. The Desin and analysis of parallel algorithms
Author: Akl, Selim G.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Parallel programming )Computer science(,، Algorithms
Classification :
QA
76
.
6
.
A38
1989
472. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
473. The Macintosh bible /
Author: Sharon Zardetto Aker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mac OS.,Macintosh (Computer),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),Macintosh (Computer),MICROCOMPUTERS.,PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
Classification :
QA76
.
8
.
M3
A4368
1998
474. The algorithm design manual /
Author: Steven S. Skiena.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Algorithmes.,Algorithmus,Computer,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Entwurf,Informatique.
Classification :
QA76
.
9
.
A43
S55
2008
475. The art of computer programming
Author: / Donald E. Knuth
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer programming,Computer algorithms,Sorting (Electronic computers),Combinations
Classification :
QA76
.
6
.
K64
1973
476. The art of computer programming
Author: / Donald E. Knuth
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer programming,Computer algorithms
Classification :
QA76
.
6
.
K64
2005
477. The art of computer programming /
Author: Donald E. Knuth
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms,Computer programming
Classification :
QA76
.
6
.
K64
2005
478. The art of computer programming
Author: / Donald Ervin Knuth
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer programming.,Computer algorithms.
Classification :
QA
76
.
6
.
K64
1997
479. The art of computer programming
Author: / Donald E. Knuth
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programming,Computer algorithms
Classification :
QA76
.
6
.
K64
1997
480. The art of computer programming
Author: Knuth, Donald Ervin
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Computer programming,، Computer algorithms
Classification :
QA
76
.
6
.
K641
